1. VDM '91
پدیدآورنده: / S. Prehn, W.J. Toetenel (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer software- Development- Congresses
رده :
QA76
.
76
.
D47
,
V36
1991
2. VDM'91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991: proceedings
پدیدآورنده: S. Prehn, W.J. Toetenel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
551-552
3. VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
پدیدآورنده: VDM '19 )1991: Noordwijkerhout, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
V36
1991
